(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun g () Real)
(declare-fun h () Real)
(declare-fun i () Real)
(declare-fun l () Real)
(declare-fun m () Real)
(assert (not (exists ((j Real)) (or (and (distinct (+ 9 e) 2.0) (< (* f (/ 0 (* 2.0 (+ 6 b)))) 0) (distinct c 2.0) (< 0 l)) (<= 0.0 (/ b (- j)) a g) (= 0.0 i)))))
(assert (not (exists ((k Real)) (and (< 0.0 (/ 0 d m)) (< 0.0 h)))))
(check-sat)
